Relation algebras form cylindric algebras, I
نویسندگان
چکیده
We characterise the class SRaCAn of subalgebras of relation algebra reducts of ndimensional cylindric algebras (for finite n ≥ 5) by the notion of a ‘hyper-basis’, analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCAn = SRa(CAn ∩ Crsn) = SRa(CAn ∩ Gn). We outline a game-theoretic approximation to the existence of a representation, and how to use it to obtain a recursive axiomatisation of SRaCAn.
منابع مشابه
Introductory Course on Relation Algebras, Finite-dimensional Cylindric Algebras, and Their Interconnections
These are notes for a short course on relation algebras, nite-dimensional cylindric algebras, and their interconnections, delivered at the Conference on Alge-Relation algebras (RA's) are closely linked to cylindric algebras (CA's) and polyadic equality algebras (PEA's), and yet in certain ways they are quite diierent. The links and diierences allow for constructive interaction between these sub...
متن کاملRelation Algebras from Cylindric Algebras, I
We characterise the class SRaCA n of subalgebras of relation algebra reducts of n-dimensional cylindric algebras (for nite n 5) by the notion of a `hyper-basis', analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCA n = SRa(CA n \ Crs n) = SRa(CA n \ G n). We outline a game-theoretic approximation to the existence of a representation, and how ...
متن کاملConnections between Relation Algebras and Cylindric Algebras
We give an informal description of a recursive representabilitypreserving reduction of relation algebras to cylindric algebras. The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-24704-5_2
متن کاملA non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
We construct an infinite dimensional quasi-polyadic equality algebra A such that its cylindric reduct is representable, while A itself is not representable. 1 The most well known generic examples of algebraizations of first order logic are Tarski’s cylindric algebras (CA) and Halmos’ polyadic equality algebras (PEA). The theory of cylindric algebras is well developed in the treatise [10], [11],...
متن کاملConnections between cylindric algebras and relation algebras
We investigate the class SRaCAn for 4 n < ! and survey some recent results. We see that RAn | the subalgebras of relation algebras with relational bases | is too weak, and that the class of relation algebras whose canonical extension has an n-dimensional cylindric basis is too strong to deene the class. We introduce the notion of an n-dimensional hyperbasis and show that for any relation algebr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 112 شماره
صفحات -
تاریخ انتشار 2001